class Conjunct {
    enum Kind { PREDICATE, JAVA };
    Kind kind = null;
    int choice;
    
    public Conjunct withIncrementedChoice() { return this; /* new Conjunct(choice+1); */ }
}
